Concurrent ML - PDFSEARCH.IO - Document Search Engine

Concurrent ML
Results: 18

#	Item
11	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
12	Data Sheet Machine Learning with Apache Mahout: Introduction to scalable ML for Developers This one-day course is designed to help Software Engineers and Data Scientists understand the high-level concepts and classifica Add to Reading List Source URL: dunuah571ylv3.cloudfront.net Language: English - Date: 2013-11-22 13:24:59 Cloud infrastructure Cloud computing Hadoop Structured storage Apache Hadoop Emerging technologies Apache Mahout MapR Apache Solr Computing Data management Concurrent computing
13	More Effective Distributed ML via a Stale Synchronous Parallel Parameter Server †Qirong Ho, †James Cipar, §Henggang Cui, †Jin Kyu Kim, †Seunghak Lee, ‡Phillip B. Gibbons, †Garth A. Gibson, §Gregory R. Gange Add to Reading List Source URL: www.pdl.cmu.edu Language: English - Date: 2014-01-28 13:08:59 Stochastic optimization Inter-process communication Parallel computing Vector clock Distributed computing Futures and promises Lasso Ant colony optimization algorithms Bulk synchronous parallel Concurrent computing Computing Distributed algorithms
14	Efficient Parallel Programming in Poly/ML and Isabelle/ML David C. J. Matthews Makarius Wenzel Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2009-11-08 14:32:15 Functional languages Concurrency control Procedural programming languages Concurrent computing Threads Standard ML Alice ML Futures and promises Computing Computer programming Software engineering
15	Concurrent Replicating Garbage Collection James O’Toole and Scott Nettles Abstract We have implemented a concurrent copying garbage collector that uses replicating garbage collection. In our design, the client can cont Add to Reading List Source URL: www.psrg.csail.mit.edu Language: English - Date: 2013-07-14 14:56:24 Procedural programming languages Automatic memory management Garbage collection Garbage Standard ML Go Self Reference counting Computing Software engineering Memory management
16	Save energy, save costs – ask ML System to create the perfect climate for your Data Center ML System a/s has developed highly efficient, reliable cooling and humidity management solutions for a range of Data Center ap Add to Reading List Source URL: www.condairsystems.com Language: English - Date: 2012-08-01 07:12:04 Cloud storage Data center Data management Distributed data storage Networks Electrostatic discharge Humidity Electromagnetism Concurrent computing Distributed computing
17	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: [removed] and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
18	Concurrent Replicating Garbage Collection James O’Toole and Scott Nettles Abstract We have implemented a concurrent copying garbage collector that uses replicating garbage collection. In our design, the client can cont Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Procedural programming languages Automatic memory management Garbage collection Garbage Standard ML Go Self Reference counting Computing Software engineering Memory management

UPDATE